Modal Matters for Interpretability Logics
نویسندگان
چکیده
This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later results. These fundaments consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic IL. Next, the method is applied to obtain new results: the modal completeness of the logic ILM0, and modal completeness of ILW.
منابع مشابه
Modal Matters in Interpretability Logics
In this paper we expose a method for building models for interpretability logics. The method can be compared to the method of taking unions of chains in classical model theory. Many applications of the method share a common part. We isolate this common part in a main lemma. Doing so, many of our results become applications of this main lemma. We also briefly describe how our method can be gener...
متن کاملProvability and Interpretability Logics with Restricted Realizations
The provability logic of a theory T is the set of modal formulas, which under any arithmetical realization are provable in T . We slightly modify this notion by requiring the arithmetical realizations to come from a specified set Γ. We make an analogous modification for interpretability logics. We first studied provability logics with restricted realizations, and show that for various natural c...
متن کاملThe Modal Completeness of ILW
This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s fiftieth birthday appears to be the right occasion to get it out of our wine cellar.
متن کاملInterpretability Logic
This is an overview a study of interpretability logic in Zagreb for the last twenty years: a brief history and some planes for further research. The idea of treating a provability predicate as a modal operator goes back to Gödel. The same idea was taken up later by Kripke and Montague, but only in the mid–seventies was the correct choice of axioms, based on Löb’s theorem, seriously considered b...
متن کامل4 Th International Symposium on Methodologies for Intelligent Systems -ismis`89 -charlotte, Nc Logics of Public Communications
Multimodal versions of propositional logics S5 or S4-commonly accepted as logics of knowledge-are capable of describing static states of knowledge but they do not reeect how the knowledge changes after communications among agents. In the present paper (part of broader research on logics of knowledge and communications 10]) we deene extensions of the logic S5 which can deal with public communica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 16 شماره
صفحات -
تاریخ انتشار 2008